---

semantic tableaux algorithm

英 [sɪˈmæntɪk ˈtæbləʊz ˈælɡərɪðəm] 美 [sɪˈmæntɪk təˈbloʊ ˈælɡərɪðəm]

网络  语义表格算法

计算机

---

---